A universality theorem for allowable sequences with applications
نویسندگان
چکیده
Order types are a well known abstraction of combinatorial properties of a point set. By Mnëv’s universality theorem for each semi-algebraic set V there is an order type with a realization space that is stably equivalent to V . We consider realization spaces of allowable sequences, a refinement of order types. We show that the realization spaces of allowable sequences are universal and consequently deciding the realizability is complete in the existential theory of the reals (∃R). This result holds even if the realization space of the order type induced by the allowable sequence is non-empty. Furthermore, we argue that our result is a useful tool for further geometric reductions. We support this by giving ∃Rhardness proofs for the realizability of abstract convex geometries and for the recognition problem of visibility graphs of polygons with holes using the hardness result for allowable sequences. This solves two longstanding open problems.
منابع مشابه
Simultaneous generalizations of known fixed point theorems for a Meir-Keeler type condition with applications
In this paper, we first establish a new fixed point theorem for a Meir-Keeler type condition. As an application, we derive a simultaneous generalization of Banach contraction principle, Kannan's fixed point theorem, Chatterjea's fixed point theorem and other fixed point theorems. Some new fixed point theorems are also obtained.
متن کاملAnalytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
This paper is intended to give for a general mathematical audience (including non logicians) a survey about intriguing connections between analytic combinatorics and logic. We define the ordinals below ε0 in non-logical terms and we survey a selection of recent results about the analytic combinatorics of these ordinals. Using a versatile and flexible (logarithmic) compression technique we give ...
متن کاملA Tauberian theorem for $(C,1,1)$ summable double sequences of fuzzy numbers
In this paper, we determine necessary and sufficient Tauberian conditions under which convergence in Pringsheim's sense of a double sequence of fuzzy numbers follows from its $(C,1,1)$ summability. These conditions are satisfied if the double sequence of fuzzy numbers is slowly oscillating in different senses. We also construct some interesting double sequences of fuzzy numbers.
متن کاملOn intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings
In this paper, a vector version of the intermediate value theorem is established. The main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{On fixed point theorems for monotone increasing vector valued mappings via scalarizing}, Positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...
متن کاملFixed point theorems for generalized quasi-contractions in cone $b$-metric spaces over Banach algebras without the assumption of normality with applications
In this paper, we introduce the concept of generalized quasi-contractions in the setting of cone $b$-metric spaces over Banach algebras. By omitting the assumption of normality we establish common fixed point theorems for the generalized quasi-contractions with the spectral radius $r(lambda)$ of the quasi-contractive constant vector $lambda$ satisfying $r(lambda)in [0,frac{1}{s})$ in the set...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1801.05992 شماره
صفحات -
تاریخ انتشار 2018